%
% Copyright (c) 2017 NumberFour AG.
% All rights reserved. This program and the accompanying materials
% are made available under the terms of the Eclipse Public License v1.0
% which accompanies this distribution, and is available at
% http://www.eclipse.org/legal/epl-v10.html
%
% Contributors:
%   NumberFour AG - Initial API and implementation
%


\newcommand{\TRUE}{\texttt{true}}
\newcommand{\FALSE}{\texttt{false}}
\newcommand{\NULL}{\texttt{null}}
\newcommand{\dots}{.\hspace{1mm}.\hspace{1mm}.\hspace{1mm}}
\newcommand{\subtype}{\mm<\texttt{:}\mm}
\newcommand{\notsubtype}{\mm\nless\texttt{:}\mm}
\newcommand{\lhd}{\triangleleft}
\newcommand{\typeSubs}{\theta}
\newcommand{\lif}{\textbf{if}\dots}
\newcommand{\lthen}{\textbf{then}\dots}
\newcommand{\lelse}{\textbf{else}\dots}

\newcommand{\lxor}{\oplus}
\newcommand{\to}{\rightarrow}
\newcommand{\powerset}{\mathcal{P}}
\newcommand{\typeOf}{\tee{:}\hspace{1mm}}
\newcommand{\lenum}{\texttt}

\newcommand{\typeEnv}{\Gamma}
\newcommand{\typeEnvAdd}{\Gamma \leftarrow}
\newcommand{\entails}{\vdash}
\newcommand{\tee}{\typeEnv \entails }
\newcommand{\types}{\texttt}

\newcommand{\expectType}{\triangleleft}

\newcommand{\infType}[1]{ {[\![} {#1} {]\!]} }
\newcommand{\llbracket}{[\![}
\newcommand{\rrbracket}{{]\!]}}
\newcommand{\iff}{\Leftrightarrow}
\newcommand{\seq}[1]{\overline{#1}}
\newcommand{\nfjstilde}{~}
\newcommand{\lstnfjs}[1]{\texttt{#1}}
\newcommand{\lstnfbnf}[1]{\texttt{#1}}
\newcommand{\union}[1]{union\{{#1}\}}
\newcommand{\intersection}[1]{intersection\{{#1}\}}
\newcommand{\join}{\vee}
\newcommand{\meet}{\wedge}
\newcommand{\tsNom}{\not\sim}
\newcommand{\tsStr}[1]{\nfjstilde \texttt{#1}}
\newcommand{\tsFld}[1]{\nfjstilde \nfjstilde \texttt{#1}}
\newcommand{\tsRoFld}[1]{\nfjstilde \texttt{r} \nfjstilde \texttt{#1}}
\newcommand{\tsWoFld}[1]{\nfjstilde \texttt{w} \nfjstilde \texttt{#1}}
\newcommand{\tsInitFld}[1]{\nfjstilde \texttt{i} \nfjstilde \texttt{#1}}
\newcommand{\infer}[2]{\frac{#2}{#1}}
\newcommand{\inferSup}[1]{\frac{ }{#1}}
\newcommand{\inferRule}[3]{\frac{#3}{#2} \texttt{#1}}
\newcommand{\lspc}{\hspace{13em}}
\newcommand{\spc}{\hspace{3mm}}
\newcommand{\mm}{\hspace{1mm}}
\newcommand{\beginalign}{\begin{matrix}}
\newcommand{\endalign}{\end{matrix}}

\newcommand{\leftalign}{\begin{matrix}}
\newcommand{\endleft}{\end{matrix}}
\newcommand{\type}[1]{\texttt{#1}}
\newcommand{\infTypeNF}[1]{ {[\![} {#1} {]\!]} }

%\newcommand{\end}{\ding{115}} 



% For alternatives to \texttt above, see http://www2.ph.ed.ac.uk/snuggletex/documentation/verbatim-mode.html
